大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 M. F. (Marie-France) 的图书(共847本)

Data Integration in the Life Sciences [electronic resource] : 5th International Workshop, DILS 2008, Evry, France, June 25-27, 2008. Proceedings

0
索取号：
作者：Bairoch、 Amos.、Cohen-Boulakia、 Sarah.、Froidevaux、 Christine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings

0
索取号：
作者：Cook、 Byron.、Podelski、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Practical Aspects of Declarative Languages [electronic resource] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

0
索取号：
作者：Hanus、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advanced Information Systems Engineering [electronic resource] : 20th International Conference, CAiSE 2008 Montpellier, France, June 16-20, 2008 Proceedings

0
索取号：
作者：Bellahs猫ne、 Zohra.、L茅onard、 Michel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Architecture [electronic resource] : Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers

0
索取号：
作者：Gruhn、 Volker.、Oquendo、 Flavio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

0
索取号：
作者：Paech、 Barbara.、Rolland、 Colette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

B 2007: Formal Specification and Development in B [electronic resource] : 7th International Conference of B Users, Besan莽on, France, January 17-19, 2007. Proceedings

0
索取号：
作者：Julliand、 Jacques.、Kouchnarenko、 Olga.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Advances in Enterprise Engineering I [electronic resource] : 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings

0
索取号：
作者：Dietz、 Jan L. G.、Albani、 Antonia.、Barjis、 Joseph.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

OpenMP Shared Memory Parallel Programming [electronic resource] : International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings

0
索取号：
作者：Mueller、 Matthias S.、Chapman、 Barbara M.、Supinski、 Bronis R.、Malony、 Allen D.、Voss、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings

0
索取号：
作者：Perron、 Laurent.、Trick、 Michael A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Principles of Distributed Systems [electronic resource] : 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006. Proceedings

0
索取号：
作者：Shvartsman、 Mariam Momenzadeh Alexander A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

ICAME 2005 [electronic resource] : Proceedings of the 28th International Conference on the Applications of the M枚ssbauer Effect (ICAME 2005) held in Montpellier, France, 4鈥頓eptember 2005 Volume II (Part III鈥揤/V)

0
索取号：
作者：Lippens、 P.-E.、Jumas、 J.-C.、G茅nin、 J.-M. R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

ICAME 2005 [electronic resource] : Proceedings of the 28th International Conference on the Applications of the M枚ssbauer Effect (ICAME 2005) held in Montpellier, France, 4鈥頓eptember 2005, Volume I (Part I鈥揑I/V)

0
索取号：
作者：Lippens、 P. -E.、Jumas、 J. -C.、G茅nin、 J. -M. R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE [electronic resource] : OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops [electronic resource] : OTM Confederated International Workshops and Posters, AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET, OnToContent, ORM, PerSys, OTM Academy Doctoral Consortium, RDDS, SWWS, and SeBGIS 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part II

0
索取号：
作者：Meersman、 Robert.、Tari、 Zahir.、Herrero、 Pilar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.